More from this Author
Found 8 books by Rupak Majumdar (Editor)
Principles of Systems Design
by Jean-François Raskin (Editor), Krishnendu Chatterjee (Editor), Laurent Doyen (Editor), Rupak Majumdar (Editor)
Computer Aided Verification
by Rupak Majumdar (Editor), Viktor Kunč, ak (Editor)
Computer Aided Verification
by Rupak Majumdar (Editor), Viktor Kunč, ak (Editor)
Model Checking Software
by Klaus Havelund (Editor), Rupak Majumdar (Editor), Jens Palsberg (Editor)
Hybrid Systems: Computation and Control
by Rupak Majumdar (Editor), Paulo Tabuada (Editor)
Runtime Verification
by Ezio Bartocci (Editor), Rupak Majumdar (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Javier Esparza (Editor), Rupak Majumdar (Editor)
Runtime Verification
by Ezio Bartocci (Editor), Rupak Majumdar (Editor)